\begin{tabbing}
$\vdash$  \=$\forall$$T$:Type, $R$:($T$$\rightarrow$$T$$\rightarrow$Type), $Q$:($T$$\rightarrow\mathbb{P}$).\+
\\[0ex]EquivRel($T$;$x$,$y$.$R$($x$,$y$)) $\Rightarrow$ EquivRel(\{$z$:$T$$\mid$ $Q$($z$)\} ;$x$,$y$.$R$($x$,$y$))
\-
\end{tabbing}